define i32 @main() {
B5:                               	; succs = %B9
  %t23 = alloca i32, align 4
  %t14 = alloca i32, align 4
  %t8 = alloca i32, align 4
  %t7 = alloca i32, align 4
  %t6 = alloca i32, align 4
  br label %B9
B9:                               	; preds = %B5                               	; succs = %B10
  br label %B10
B10:                               	; preds = %B9, %B12                               	; succs = %B11, %B16
  @i = load i32, i32* %t14, align 4
  @a = load i32, i32* %t6, align 4
  %t0 = icmp slt i32 @i, @a
  br i1 %t0, label %B11, label %B16
B11:                               	; preds = %B10                               	; succs = %B18
  br label %B18
B16:                               	; preds = %B10                               	; succs = %B13
  br label %B13
B18:                               	; preds = %B11                               	; succs = %B19
  br label %B19
B13:                               	; preds = %B16
  ret i32 0
B19:                               	; preds = %B18, %B21                               	; succs = %B20, %B25
  @j = load i32, i32* %t23, align 4
  @b = load i32, i32* %t7, align 4
  %t2 = icmp slt i32 @j, @b
  br i1 %t2, label %B20, label %B25
B20:                               	; preds = %B19                               	; succs = %B21
  @c = load i32, i32* %t8, align 4
  %t4 = add i32 @c, 1
  store i32 %t4, i32* %t8, align 4
  br label %B21
B25:                               	; preds = %B19                               	; succs = %B22
  br label %B22
B21:                               	; preds = %B20                               	; succs = %B19
  @j = load i32, i32* %t23, align 4
  %t3 = add i32 @j, 1
  store i32 %t3, i32* %t23, align 4
  br label %B19
B22:                               	; preds = %B25                               	; succs = %B12
  br label %B12
B12:                               	; preds = %B22                               	; succs = %B10
  @i = load i32, i32* %t14, align 4
  %t1 = add i32 @i, 1
  store i32 %t1, i32* %t14, align 4
  br label %B10
}
